Comparing Forward and Backward Reachability as Tools for Safety Analysis

Using only the existence and uniqueness of trajectories for a generic dynamic system with inputs, we de ne and examine eight types of forward and backward reachability constructs. If the input is treated in a worst-case fashion, any forward or backward reach set or tube can be used for safety analysis, but if the input is treated in a best-case fashion only the backward reach tube always provides the correct results. Fortunately, forward and backward algorithms can be exchanged if wellposed reverse time trajectories can be de ned. Unfortunately, backward reachability constructs are more likely to su er from numerical stability issues, especially in systems with signi cant contraction|the very systems where forward simulation and reachability are most e ective.